*** empty log message ***

diff --git a/man/ChangeLog b/man/ChangeLog
index 1692615969e46427ad4c45777a5a1fe6495f48f1..3b36ace56030e1e093960f534829f3beea605872 100644 (file)
--- a/man/ChangeLog
+++ b/man/ChangeLog
@@ -5,6 +5,7 @@
        in-line.
 
        * gpl.texi: New file with text of GPL.
+       * Makefile.in (EMACSSOURCES): Add gpl.texi.
 
 2007-07-26  Dan Nicolaescu  <dann@ics.uci.edu>